Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
421	Commutative closures of regular languages Commutative closures of regular languages Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-17 15:33:58 Formal languages Semigroup theory Monoid Free monoid Trace monoid Regular language Trace theory Abstract algebra Category theory Mathematics
422	M1 Summer internship report Computer Science Department, Boston College June – August 2010 Advisor: Howard Straubing Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-17 15:32:16 Formal languages Category theory Algebraic structures Automata theory Syntactic monoid Semiautomaton Monoid Semigroup Quasigroup Abstract algebra Algebra Semigroup theory
423	A constructive manifestation of the Kleene–Kreisel continuous functionals Mart´ın Escard´o and Chuangjie Xu University of Birmingham, UK Version of March 27, 2015. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-03-27 08:25:57 Sheaf theory Sheaf Topos Grothendieck topology Continuous function Coherent topology Category Cartesian closed category Topological space Topology Mathematics General topology
424	L3 Summer internship report Laboratoire Bordelais de Recherche en Informatique June – July 2009 Advisors: Anca Muscholl and Marc Zeitoun Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-17 15:33:38 Algebra Formal languages Algebraic structures Category theory Monoid Free monoid Semigroup Model theory Trace monoid Abstract algebra Semigroup theory Mathematics
425	INJECTIVES Contents 1. Introduction 2. Baer’s argument for modules 3. G-modules Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:43 Category theory Injective module Injective object Sheaf Grothendieck topology Injective hull Adjoint functors Module Gluing axiom Abstract algebra Homological algebra Algebra
426	NEW EXAMPLES OF GROUPS ACTING ON REAL TREES ASHOT MINASYAN Abstract. We construct the first example of a finitely generated group which has Serre’s property (FA) (i.e., whenever it acts on a simplicial tree it fixes a Add to Reading List Source URL: www.personal.soton.ac.uk Language: English - Date: 2014-04-05 06:16:22 Geometric group theory Group theory Algebraic topology Homotopy theory Category theory Bass–Serre theory Fundamental group Simplicial set Real tree Abstract algebra Mathematics Algebra
427	MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2010-05-11 12:12:37 Functional programming Type theory Data types Recursion Category theory System F F-algebra Algebraic data type Fold Software engineering Computer programming Computing
428	SHEAVES ON SPACES Contents 1. Introduction 2. Basic notions 3. Presheaves Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:27 Topology Sheaf Gluing axiom Stalk Grothendieck topology Constant sheaf Functor Initial and terminal objects Presheaf Category theory Abstract algebra Sheaf theory
429	SITES AND SHEAVES Contents. Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:29 Sheaf theory Functors Algebraic geometry Homological algebra Sheaf Gluing axiom Grothendieck topology Functor Topos Category theory Abstract algebra Mathematics
430	STACKS Contents 1. Introduction 2. Presheaves of morphisms associated to fibred categories 3. Descent data in fibred categories Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:29 Fibred category Functor Sheaf Algebraic stack Grothendieck topology Subcategory Morphism Category Groupoid Abstract algebra Category theory Mathematics

UPDATE